object Bug_NoUnique {

  type TypeCon[Env] = (Int, Env => Double)

  case class Wrap[E](parent: E) {}

  type Alias2[E] = Wrap[E]

  def wrap[E,A,Y](v: (A, E => Y)): (A, Alias2[E] => Y) =
	throw new Error("Body here")

  def test(x: TypeCon[Wrap[Unit]]): TypeCon[Unit] = wrap(x)
}
